/*
 * BlackDiamond.h
 *
 *  Created on: Apr 29, 2012
 *      Author: kobe
 */

#ifndef BLACKDIAMOND_H_
#define BLACKDIAMOND_H_

#include "Proposition.h"
#include "Agent.h"
#include "Util.h"

class BlackDiamond: public Proposition {
public:
	BlackDiamond(std::string);
	virtual ~BlackDiamond();
	std::string toString();
	bool compare(Proposition* );
	Agent* getAgent();
	Proposition* getProposition();
	std::string toLatex();
	bool isAction();

private:
	Agent* mAgent;
	Proposition* mProposition;
	bool mIsAction;
};

#endif /* BLACKDIAMOND_H_ */
